381. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
382. Theoretical computer science
Author: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
267
.
G18
1977
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
383. Theoretical computer science
Author: 3rd GI conference, Darmstadt, March 82-03, 7791 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
48
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
384. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977
Author: edited by H. Tzchach, H. Waldschmidt and K.-G. Walter on behalf of the GI
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
48
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
385. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979
Author: edited by K. Weihrauch
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
67
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
386. Theoretical computer science : 6th GI-Conference, Dortmund, January 5-7, 1983
Author: edited by A.B. Cremers and H.P. Kriegel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
145
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
387. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
Author: edited by Peter Deussen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
104
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
388. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
Author: GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1979
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
389. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
Author: edited by K. Weihrauch
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
67
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
390. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
391. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses
Classification :
QA
267
.
G18
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
392. Theoretische Informatik :
Author: von Ingo Wegener.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Theory of computer science.
![](/design/images/bookmore.png)
393. Theory of Finite Automata
Author: \ John Carroll, Darrell Long.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالتهای متناهی
Classification :
E-Book
,
![](/design/images/bookmore.png)
394. Theory of automata /
Author: Arto Salomaa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Power series.,Sequential machine theory.
Classification :
QA267
.
5
.
S4
S3
1969
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
395. Theory of automata
Author: Salomaa, Arto.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4
.
S3
1969
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
396. Theory of automata, formal languages and computation
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory,Formal languages
Classification :
QA276
.
E
944
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
397. Theory of finite automata
Author: Carroll, John
Library: Central Library and Documentation Center (Kerman)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
267
.
5
.
S4
C35
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
398. Theory of finite automata
Author: / John Carroll, Darrell Long
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Sequential machine theory.,Formal languages.
Classification :
QA
,
267
.
5
,.
S4
,
C35
,
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
399. Theory of finite automata
Author: / John Carroll, Darrell Long,Carroll
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Sequential machine theory,Formal languages
Classification :
QA
267
.
5
.
S4C35
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
400. Theory of finite automata : with an introduction to formal languages
Author: Carroll, John
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
267
.
5
.
S4C35
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)